A Search Service for Abbreviation / Long Form
■検索結果 - 展開形 : Zermelo-Fraenkel set theory with the axiom of choice